Mimicking Behaviors in Separated Domains
نویسندگان
چکیده
Devising a strategy to make system mimic behaviors from another is problem that naturally arises in many areas of Computer Science. In this work, we interpret the context intelligent agents, perspective ltlf , formalism commonly used AI for expressing finite-trace properties. Our model consists two separated dynamic domains, DA and DB, an LTLf specification formalizes notion mimicking by mapping properties on (traces) into DB. The goal synthesize step-by-step maps every behavior DB so met. We consider several forms specifications, ranging simple ones full each, study synthesis algorithms computational
منابع مشابه
Extremal Basis, Geometrically Separated Domains and Applications
In this paper we introduce the notion of extremal basis of tangent vector fields at a boundary point of finite type of a pseudo-convex domain in Cn, n ≥ 3. Using this notion we define the class of geometrically separated domains at a boundary point and we give a description of their complex geometry. Examples of such domains are given, for instance, by locally convex domains, domains with local...
متن کاملExtremal Bases, Geometrically Separated Domains and Applications
In this paper we introduce the notion of extremal basis of tangent vector fields at a boundary point of finite type of a pseudo-convex domain in C, n ≥ 3. Using this notion we define the class of geometrically separated domains at a boundary point and we give a description of their complex geometry. Examples of such domains are given, for instance, by locally lineally convex domains, domains wi...
متن کاملTwo-Point Microrheology of Phase-Separated Domains in Lipid Bilayers.
Though the importance of membrane fluidity for cellular function has been well established for decades, methods for measuring lipid bilayer viscosity remain challenging to devise and implement. Recently, approaches based on characterizing the Brownian dynamics of individual tracers such as colloidal particles or lipid domains have provided insights into bilayer viscosity. For fluids in general,...
متن کاملPromoting Behaviors of Healthiness in two Domains of Physical Activity and Nutrition Statue in High School Students
Background Youth' healthiness depends on their hygiene behaviors. Doing promoting behaviors of healthiness is one of best ways of health protect and control. This study aimed to investigate promoting behaviors of healthiness in two physical activity and nutrition statue domains in high school students. Materials and Methods: The study was descriptive-analytic of cross-sectional type study whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Artificial Intelligence Research
سال: 2023
ISSN: ['1076-9757', '1943-5037']
DOI: https://doi.org/10.1613/jair.1.14591